<header> ID de l&#39;éditeur </header> ID interne utilisé par Webmin pour cet éditeur de fichiers. Ceci est utile à savoir lors de l&#39;octroi de l&#39;accès à l&#39;éditeur aux utilisateurs d&#39;Usermin sélectionnés. <p><hr>